Fine-Grained MSR Specifications for Quantitative Security Analysis
نویسنده
چکیده
The traditional Dolev-Yao model of security limits attacks to “computationally feasible” operations. We depart from this model by assigning a cost to protocol actions, both of the Dolev-Yao kind as well as non traditional forms such as computationally-hard operations, guessing, principal subversion, and failure. This quantitative approach enables evaluating protocol resilience to various forms of denial of service, guessing attacks, and resource limitation. While the methodology is general, we demonstrate it through a low-level variant of the MSR specification language.
منابع مشابه
Fine-grained integration of access control policies
Collaborative and distributed applications, such as dynamic coalitions and virtualized grid computing, often require integrating access control policies of collaborating parties. Such an integration must be able to support complex authorization specifications and the finegrained integration requirements that the various parties may have. In this paper, we introduce an algebra for fine-grained i...
متن کاملRelating Process Algebras and Multiset Rewriting (for Example for Security Protocol Analysis)
Distributed systems are abstractly viewed as either a collection of agents communicating through a global state, or as a set of processes that evolve by pairwise exchanging messages. Languages and frameworks that adopt these two views generally yield very different specifications of the same system, and support distinct reasoning methodologies. In this paper, we examine the non-trivial relation...
متن کاملSynthetic Word Parsing Improves Chinese Word Segmentation
We present a novel solution to improve the performance of Chinese word segmentation (CWS) using a synthetic word parser. The parser analyses the internal structure of words, and attempts to convert out-of-vocabulary words (OOVs) into in-vocabulary fine-grained sub-words. We propose a pipeline CWS system that first predicts this fine-grained segmentation, then chunks the output to reconstruct th...
متن کاملExtending the Devices Profile for Web Services for Secure Mobile Device Communication
This paper describes a new security profile and propose a security architecture for the Devices Profile for Web Services (DPWS). DPWS defines a Web Service based architecture for networked embedded devices. A requirements analysis on given use cases in the field of in-vehicle-infotainment (IVI) systems showed that the original security profile of DPWS lacks of certain security issues. Thus, our...
متن کاملUltra-Fine Grained Dual-Phase Steels
This paper provides an overview on obtaining low-carbon ultra-fine grained dual-phase steels through rapid intercritical annealing of cold-rolled sheet as improved materials for automotive applications. A laboratory processing route was designed that involves cold-rolling of a tempered martensite structure followed by a second tempering step to produce a fine grained aggregate of ferrite and ca...
متن کامل